값이 제약 조건을 충족한다는 것을 유형으로 보장

URL을 나타내는 문자열이거나, 0 이상인 것이 요구되는 정수이든, 값이 어떠한 제약을 만족할 것을 요구되는 장면은 많이 있습니다. 예를 들어, 남녀 2마리의 염소씨의 뿔의 개수를 인수에 있어서, 그 2마리의 염소씨가 사랑하고 교미해 아이를 만들어도 문제가 없는지를 판단하는 함수를 정의합니다. 따라서 염소 씨의 취할 수 있는 모서리의 수는 다음 중 하나밖에 있을 수 없을 것입니다. 0 개 :...

염소 구동 개발Elm